Gnomit / Keyword Search / Info
Gnomit ? ? ?
Results 1 - 4 of 4 for:
correct by construction
1 ?
 21,213,375 websites (safe search)

  1. Kestrel Institute

    * --> Technology for analysis and synthesis of high-assurance software applications Kestrel Institute is a non-profit computer science research institute. Our ...
    formal methods1
    algorithm design1
    category theory1
    correct by construction1
    program synthesis1
    Kestrel Institute0
    provably correct0

    www.kestrel.edu - 2009-04-09

  2. Escher Technologies - Building bug-free software

    Home Products Services Support News Company Contact Associates Publications Welcome Our company researches, develops and delivers tools for the efficient ...
    software consultancy1
    model driven development1
    formal methods1
    safety critical software1
    design by contract1
    mission critical software1
    correct by construction1
    bug free software0
    Escher Technologies0
    object oriented formal methods0
    Perfect Developer0

    www.eschertech.com - 2009-02-12

  3. Esterel EDA

    ESL-to-RTL synthesis for control-intensive IP design and verification.
    RTL2
    VHDL1
    Verilog1
    code generation1
    SystemC1
    formal methods1
    correct by construction1
    ESL synthesis1
    automated implementation1
    Electronic System Level1
    unambiguous specifications1
    Esterel Studio0

    www.esterel-eda.com - 2009-02-09

  4. Esterel Technologies

    Model-based solutions for DO-178B / IEC 61508 safety-critical systems and ESL-to-RTL synthesis for control-intensive IP design and verification.
    software7
    safety3
    embedded2
    critical2
    code generation1
    IEC 615081
    formal methods1
    DO-178B1
    DO178B1
    VAPS1
    DO1781
    correct by construction1
    EN501281
    EN 501281
    automated implementation1
    unambiguous specifications1
    DO178 code generator0
    IEC61508 certified0
    Oglx0
    RTCA DO-178B qualification0
    SCADE Display0
    SCADE Suite0

    www.esterel-technologies.com - 2009-02-07

asp.net3 automated implementation1 code generation1 formal methods1 code generator1 computer security2 software verification1 quality assurance2 java4

Gnomit  
About Gnomit
Keywords may contain spaces.
Separate multiple keywords with commas.
Start a new search.
Enter new keyword(s).
Narrow down your search.
Add keyword(s).
Broaden your search.
Click on Keyword to remove from query.